Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
- Författare
- (Edited by Cyrille Artho, Peter Csaba Ölveczky.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2017 | Tyskland, Cham | XII, 161 sidor. 40 illus. online resource. | 978-3-319-53946-1 |
| Springer International Publishing, Imprint: Springer | 2016 | Tyskland, Cham | X, 271 sidor. 86 illus. in color. online resource. | 978-3-319-29510-7 |
| Springer International Publishing, Imprint: Springer | 2015 | Tyskland, Cham | X, 257 sidor. 86 illus. online resource. | 978-3-319-17581-2 |